Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
431	A Spider User’s Guide Norman Ramsey Department of Computer Science Princeton University July 1989 Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:25:39 Compiler construction Parsing Formal languages Scripting languages Lexical analysis Programming language implementation WEB TeX Tokenization Computing Software engineering Software
432	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirror.fcaglp.unlp.edu.ar Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
433	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.mtu.edu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
434	Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-21 11:36:45 Application programming interfaces Parallel computing Model checking Formal methods Logic in computer science Principles of Programming Languages SPIN model checker Thread Formal verification Computing Computer science Computer programming
435	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.sciserv.eu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
436	languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-18 06:29:48 Applied mathematics Büchi automaton Regular language Formal language Regular expression Ω-automaton Automata theory Theoretical computer science Computer science
437	Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Mathematics Situation calculus Theoretical computer science Formal languages STRIPS Planning Domain Definition Language Frame problem Combinatory logic Action language Artificial intelligence Automated planning and scheduling Logic programming
438	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.ma.imperial.ac.uk Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
439	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
440	X Locale Database Specification Add to Reading List Source URL: www.x.org Language: English - Date: 2012-06-06 02:15:05 Software engineering Computer programming String Delimiter Regular expression ISO/IEC 8859-1 C string handling Locale Computing Pattern matching Formal languages

UPDATE